LarvaStat: Monitoring of Statistical Properties
نویسندگان
چکیده
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering and evaluation can be very useful for processing such information for areas ranging from performance profiling to user modelling and intrusion detection. In this paper, we give an overview of LarvaStat — a runtime verification tool extending Larva [2] with the ability to straightforwardly specify real-time related statistical properties. Being automaton-based, LarvaStat also makes explicit the overhead induced by monitoring.
منابع مشابه
A Statistical Method for Sequential Images – Based Process Monitoring
Today, with the growth of technology, monitoring processes by the use of video and satellite sensors have been more expanded, due to their rich and valuable information. Recently, some researchers have used sequential images for image defect detection because a single image is not sufficient for process monitoring. In this paper, by adding the time dimension to the image-based process monitorin...
متن کاملStatistical Monitoring of Rare Events in Healthcare
There are miscellaneous quality characteristics in healthcare which are interested to be monitored. However, monitoring each characteristic needs a special statistical method. There are some characteristics with very small incidence rates that it’s usually considered not to be necessary to monitoring them, since their incidence rates are so small that p and np charts are not able to monitor t...
متن کاملParametric Estimation in a Recurrent Competing Risks Model
A resource-efficient approach to making inferences about the distributional properties of the failure times in a competing risks setting is presented. Efficiency is gained by observing recurrences of the compet- ing risks over a random monitoring period. The resulting model is called the recurrent competing risks model (RCRM) and is coupled with two repair strategies whenever the system fails. ...
متن کاملRobust economic-statistical design of the EWMA-R control charts for phase II linear profile monitoring
Control charts are powerful tools to monitor quality characteristics of services or production processes. However, in some processes, the performance of process or product cannot be controlled by monitoring a characteristic; instead, they require to be controlled by a function that usually refers as a profile. This study suggests employing exponentially weighted moving average (EWMA) and range ...
متن کاملInvestigating Effect of Autocorrelation on Monitoring Multivariate Linear Profiles
Abstract Profile monitoring in statistical quality control has attracted attention of many researchers recently. A profile is a function between response variables and one or more independent variables. There have been only a limited number of researches on monitoring multivariate profiles. Indeed, monitoring correlated multivariate profiles is a new subject in the fileld of statistical proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010